_ ∧ _@1
